Semantics of programming languages - PDFSEARCH.IO - Document Search Engine

Semantics of programming languages
Results: 156

#	Item
131	CURRICULUM VITAE Name: Glynn Winskel Date and place of birth: [removed], Lancaster, England. Family: Married, with two daughters. Nationality: British. Work addresses: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2010-05-18 09:50:08 Computer science Denotational semantics Dana Scott Semantics of programming languages Concurrency Programming language theory Gordon Plotkin Aarhus University Logic programming Theoretical computer science Logic in computer science Mathematics
132	Chapter 1 Insight, inspiration and collaboration C. B. Jones, A. W. Roscoe Abstract Tony Hoare’s many contributions to computing science are marked Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:55 Procedural programming languages Turing Award laureates Logic in computer science Fellows of the British Computer Society Programming language semantics Tony Hoare ALGOL Hoare logic Turing Award Software engineering Computing Programming language theory
133	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
134	Functional programming languages Part IV: monadic transformations, monadic programming Xavier Leroy INRIA Rocquencourt MPRI 2-4-2, 2007 Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2007-12-12 03:05:56 Computing Adjoint functors Models of computation Logic in computer science Monad Denotational semantics Lambda calculus Haskell Purely functional Declarative programming Software engineering Functional programming
135	RESUME: Prof. Emeritus NISSIM FRANCEZ Former holder of Bank-Leumi chair in computer science May 12, 2014 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2014-05-12 04:09:39 Logic in computer science Quantification Formal sciences Donkey pronoun Pronouns Logic programming Semantics of programming languages Game semantics Amir Pnueli Mathematics Logic Theoretical computer science
136	Origins of our Theory of Computation on Abstract Data Types at the Mathematical Centre, Amsterdam, [removed]J V Tucker Department of Computer Science, University of Wales Swansea, Singleton Park, Swansea, Wales, SA2 8PP Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2004-03-23 04:26:27 Mathematics Programming language semantics Formal methods Formal sciences Denotational semantics Semantics of programming languages Programming language theory Axiomatic semantics Mathematical logic Theoretical computer science Logic in computer science Applied mathematics
137	J , Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:32:38 Mathematical logic Programming language semantics Programming paradigms Models of computation Formal methods Denotational semantics Semantics of programming languages Programming language Operational semantics Mathematics Theoretical computer science Logic in computer science
138	The Conception, Evolution, and Application of Functional Programming Languages Paul Hudak Add to Reading List Source URL: haskell.cs.yale.edu Language: English - Date: 2011-12-16 15:59:04 Lambda calculus Logic in computer science Models of computation Functional languages Combinatory logic Functional programming Curry ISWIM Denotational semantics Software engineering Computing Programming language theory
139	The Semantics of Version Control Wouter Swierstra1 and Andres L¨oh2 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2013-10-14 05:42:13 Distributed revision control systems Version control Formal languages Concurrent Versions System Subversion Apache Subversion Revision control Distributed revision control Repo Software Computer programming Computing
140	Semantics of Programming Languages Computer Science Tripos, Part 1B 2008–9 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2009-01-16 04:23:41 Applied mathematics Programming language semantics Models of computation Formal methods Denotational semantics Operational semantics Semantics of programming languages Semantics Lambda calculus Theoretical computer science Mathematics Logic in computer science

UPDATE